83 research outputs found

    Family of 4-phase latch protocols

    Get PDF
    Journal ArticleA complete family of untimed asynchronous 4-phase pipeline protocols is derived and characterised. This family contains all untimed protocols where data becomes valid before the request signal rises. Starting with a specification of the most parallel such protocol, rules are provided for concurrency reduction to systematically generate the family of all 137 related protocols that can be pipelined. Graphical and textual nomenclatures are developed to represent protocol properties and behaviours. The protocols are categorised according to their behaviours when composed into linear and structured parallel pipelines. Six basic categories emerge, along with several properties such as a single state that determines whether a protocol is fully or half buffered. When equivalence classes are calculated for parallel pipeline behaviours they are dominated by 15 shapes (all of which are delay-insensitive) which are related by a simple lattice. Several published circuits are shown to map to 16 of our 137 family members. This work enhances the understanding of handshake protocols, their properties, and relationships between different implementations in terms of concurrency and behavioural properties

    The feasibility of using the EQ-5D-3L with adults with mild to moderate learning disabilities within a randomized control trial: a qualitative evaluation

    Get PDF
    This is the final version. Available on open access from BMC via the DOI in this recordAvailability of data and materials: The datasets used and analysed during the current study are available from the corresponding author on reasonable request. It is not possible to share qualitative data as individuals could be identifiable.Background In trials incorporating a health economic evaluation component, reliable validated measures for health-related quality of life (HRQOL) are essential. The EQ-5D is the preferred measure for cost-effectiveness analysis in UK trials. This paper presents a qualitative evaluation of the use of the EQ-5D-3L in a feasibility randomised control trial with participants who had a mild- to moderate learning disability and type 2 diabetes. Methods Researchers administered the EQ-5D-3L to 82 participants at baseline and 77 at follow-up. After each interview, researchers rated the ease of administering the EQ-5D-3L and made free-text entries on the administration experience. For a subset of 16 interviews, researchers audio-recorded more detailed journal entries. Ease of administration data were analysed using descriptive statistics. Free-text responses were subject to a basic content analysis. The EQ-5D-3L-related journal entries were transcribed, coded and analysed thematically. Results Over half of participants were perceived to experience difficulty answering some or all of the items in the EQ-5D-3L (60% at baseline; 54% at follow-up). Analysis of the free-text entries and audio journals identified four themes that question the use of the EQ-5D-3L in this population. The first theme is related to observations of participant intellectual ability and difficulties, for example, in understanding the wording of the measure. Theme 2 is related to the normalisation of adjustments for impairments, which rendered the measure less sensitive in this population. Theme 3 is related to researcher adaptation and non-standard administration. An overarching fourth theme was identified in that people with learning disabilities were viewed as ‘unreliable witnesses’ by both researchers and supporters. Conclusions It is recommended that the EQ-5D-3L should not be used in isolation to assess health-related quality of life outcomes in trials research in adults with a learning disability. Further research is required to develop and evaluate a version of the EQ-5D appropriate for this population in trials research. It is unrealistic to expect that adjustments to the wording alone will deliver an appropriate measure: supporter or researcher involvement will almost always be required. This requirement needs to be factored into the development and administration guidelines of any new version of the EQ-5D for adults with a learning disability.This work was undertaken by those working on the OK Diabetes study and contributed to the development of the project. OK Diabetes was funded by the National Institute for Health Research Health Technology Assessment Programme [project number 10/102/03]

    A History of Discrete Event Simulation Programming Languages

    Get PDF
    The history of simulation programming languages is organized as a progression in periods of similar developments. The five periods, spanning 1955-1986, are labeled: The Period of Search (1955-1960); The Advent (1961-1965); The Formative Period (1966-1970); The Expansional Period (1971-1978); and The Period of Consolidation and Regeneration (1979-1986). The focus is on recognizing the people and places that have made important contributions in addition to the nature of the contribution. A balance between comprehensive and in-depth treatment has been reached by providing more detailed description of those languages which have or have had major use. Over 30 languages are mentioned, and numerous variations are described in the major contributors. A concluding summary notes the concepts and techniques either originating with simulation programming languages or given significant visibility by them

    AN APPROACH TO DISCRETE EVENT MODELLING PART 3:THE TRANSACTION, ACTIVITY AND EVENTS APPROACHES

    No full text
    This is the third paper in a series dealing with discrete event simulation modelling. The first part [BIRT 81b] looked at Simula. The second part [BIRT 81c] looked at the process style of discrete event modelling, and used a simple model of steel mill operations as an example. In this part we rework the mill model in the transaction, activity, and event styles, coding it in the archetypal language of each style (GPSS, ECSL, and SIMSCRIPT respectively). In each case, we display an appropriate Simula mini-context. This enables us to show the strengths and weaknesses of these styles from a programmer's point of view, and the threads that hold them together.We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at [email protected]

    Living Art. : Asger Jorn;s comprehensive theory of art between Helhesten and Cobra (

    No full text
    Utrechtviii, 258 p, 22 cm

    DEMOS IMPLEMENTATION GUIDE AND REFERENCE MANUAL

    No full text
    This manual gives a complete documentation for Demos, a Simula-hosted, process-based, discrete event simulation language. Demos extends Simula by providing several new process synchronisations, unobtrusive data collection, random number generation with guaranteed well-spread seeds, tracing and automatic reports. Demos is coded entirely in Simula and is running on DEC 10, DEC 20, IBM 370, UNIVAR 1100, Cyber and ICL hardwares. Since Demos is process-based, it is particularly well-suited to computer system and computer network modelling, and for the specification and design of systems software. A complete listing of Demos and some twenty programs and their outputs are given as appendices. The Demos system is available from the author.We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at [email protected]

    PROPOSAL FOR THE REINSTATEMENT OF THE PH D PROGRAMIN COMPUTER SCIENCE

    No full text
    This document makes the case for the reinstatement of the PhD program in Computer Science at the University of Calgary. The program was already in existence within the then Department of Mathematics, Statistics, and Computing Science in 1975, but was withdrawn by the Faculty of Graduate Studies on the grounds that the new department had insufficient experienced researchers when Computer Science received independent status. This document contends that the program should be reinstated because that argument is no longer true.We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at [email protected]

    Book Review

    Get PDF
    [Book review of "Disfiguring. Art, Architecture, Religion" by Mark C. Taylor, published by The University of Chicago Press]Article digitised using: Suprascan 1000 RGB scanner, scanned at 400 dpi; 24-bit colour; 100% Image derivating - Software used: Adobe Photoshop CS3 - Image levels, crop, deskew Abbyy Fine Reader No.9 - Image manipulation + OCR Adobe Acrobat 9 (PDF)Scanned item includes "Inligting aan outeurs" / "Information to authors" and back cove

    CPSC VLSI RESEARCH AT CALGARY

    No full text
    No AbstractWe are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at [email protected]

    AN APPROACH TO DISCRETE EVENT MODELLING PART 2:THE PROCESS APPROACH TO DISCRETE EVENT MODELLING

    No full text
    In this chapter we show what is involved in writing a straightforward process-style model in raw Simula. We show that a process description may be considered as a sequence of activities, and discuss what is involved in the correct coding of an activity. We introduce activity diagrams, which are pictorial representations of the gross model logic from which it is mechanically easy to construct process-style, transaction-style, event-style, or activity-style programs. Finally, we point out why raw Simula just will not do, and give an indication of how to set about improving things.We are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at [email protected]
    • …
    corecore